How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·10h·
Discuss: DEV
🎯Gradual Typing
Issue 490
haskellweekly.news·7h
🔗Functional Compilers
Controlling program flow with capabilities in Scala
nrinaudo.github.io·9h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
haskell/mtl
github.com·18h
🔗Functional Compilers
Show HN: Chibi Izumi, staged dependency injection for Python
github.com·21h·
Discuss: Hacker News
🧩WASM Components
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·1h·
Discuss: Hacker News
🔗Functional Compilers
What I learned building a programming language with LLM agents
eddmann.com·3h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Filter the tools from MCP servers
blog.pamelafox.org·2h·
Discuss: www.blogger.com
⚡Proof Automation
Managing dependency graph in a large codebase
tweag.io·19h
📊Dependency Graphs
Swift 6.2 advances the language meaningfully
victorwynne.com·1d·
Discuss: Hacker News, r/programming
🔗Functional Compilers
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·7h·
Discuss: Hacker News
🔗Functional Compilers
Postgres 18 OAuth2 Authentication – Building a Custom OAuth2 Validator in Rust
enterprisedb.com·40m·
Discuss: Hacker News
🦀Rust Verification
Efficient evaluation of expressions specified in the GO runtime
reddit.com·13h·
Discuss: r/golang
🔗Functional Compilers
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·2d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Cactus Language • Mechanics 1
inquiryintoinquiry.com·1h
📝Concrete Syntax
GWSC Three Factor Authentication RFC (Draft-GWC-27001-3A)
gwsc-3fa.org·3h·
Discuss: Hacker News
🔐Capability Systems
Advent of Code: Libraries
elly.town·1d
🔒Type Safety
Python 3.14.0rc3 is go!
blogger.com·7h
🌳Incremental Parsing
Reimagining MCP via gRPC
medium.com·6h·
Discuss: Hacker News, r/golang
⚡gRPC